Introduction to Rational Functions

(2) Let L be an add-associative right zeroed right complementable right distributive non empty double loop structure, f be a finite sequence of elements of L, and i, j be elements of N. If i ∈ dom f and j = i− 1, then Ins(f i, j, fi) = f. (3) Let L be an add-associative right zeroed right complementable associative unital right distributive commutative non empty double loop structure, f be a finite sequence of elements of L, and i be an element of N. If i ∈ dom f, then ∏ f = fi · ∏ (f i).